- кванторы
-
кванторы
Символы и . Квантор общности [generality q.] (перевернутая буква A от немецкого alle — «все») - читается «для всех…». Например, высказывание (x ? M) читается «для всех x, принадлежащих M». К. существования [existential q.] обозначается перевернутой буквой Е (от немецкого existieren) и заменяет слово «существует». Например, (x ? M) расшифровывается так: «существует элемент x, принадлежащий М». С К. можно производить определенные действия. Например, при отрицании К. заменяется на и наоборот: … = … Если рассмотреть высказывание: «для любого x, принадлежащего M, P(x) - истинно», то отрицание этого высказывания будет: «существует x, принадлежащий M, такой, что отрицание P(x) истинно». Или, пользуясь символической записью: (( x ? М) (Р(x)=И)) = (x ? M) (P(x) = И).
[http://slovar-lopatnikov.ru/]Тематики
- экономика
EN
- quantifiers
Справочник технического переводчика. – Интент. 2009-2013.
КВАНТОРЫ — (от лат. quantum сколько) в логике и математике логические эквиваленты слов все , каждый и т. п. (кванторы общности), некоторый , существует (кванторы существования) и др.; операторы, формализующие в исчислении предикатов логические свойства этих … Большой Энциклопедический словарь
Кванторы — [quantifiers] символы и . Квантор общности [generality q.] (перевернутая буква A от немецкого alle «все») читается «для всех…». Например, высказывание ( x∈M) читается «для всех x, принадлежащих M…». К.… … Экономико-математический словарь
кванторы — (от лат. quantum сколько), в логике и математике логические эквиваленты слов «все», «каждый» и т. п. (кванторы общности), «некоторый», «существует» (кванторы существования) и др.; операторы, формализующие в исчислении предикатов логические… … Энциклопедический словарь
Кванторы общности — Обобщение характеристик выборки на всю популяцию, универсальность ( каждый , все , никогда , ни один , и т. д.). Утверждение, которое не принимает во внимание никаких исключений. Краткий толковый психолого психиатрический словарь. Под ред.… … Большая психологическая энциклопедия
КВАНТОРЫ — (от лат. quantum сколько), в логике и математике логич. эквиваленты слов все , каждый и т. п. (К. общности), некоторый , существует (К. существования) и др.; операторы, формализующие в исчислении предикатов логич. свойства этих выражений … Естествознание. Энциклопедический словарь
Кванторы общности — Обобщение характеристик выборки на всю популяцию, универсальность ( каждый , все , никогда , ни один , и т. д.). Утверждение, которое не принимает во внимание никаких исключений … Словарь нейролингвистического программирования
Кванторы общности — нлп Обобщение характеристик выборки на всю популяцию, универсальность ( каждый , все , никогда , ни один , и т. д.). Утверждение, которое не принимает во внимание никаких исключений … Универсальный дополнительный практический толковый словарь И. Мостицкого
Квантификатор — Не путать с: Кантор фамилия, Кантор, Георг Фердинанд Людвиг Филипп известный математик Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката. Чаще всего упоминают квантор всеобщности (обозначение … Википедия
Квантор общности — Не путать с: Кантор фамилия, Кантор, Георг Фердинанд Людвиг Филипп известный математик Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката. Чаще всего упоминают квантор всеобщности (обозначение … Википедия
Кванторизация — Не путать с: Кантор фамилия, Кантор, Георг Фердинанд Людвиг Филипп известный математик Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката. Чаще всего упоминают квантор всеобщности (обозначение … Википедия